Abstract geometrical computation : Turing - computing ability and unpredictable accumulations ( extended abstract )
نویسنده
چکیده
geometrical computation: Turing-computing ability and unpredictable accumulations (extended abstract) Jérôme Durand-Lose Mars 2004 Research Report N 2004-09 École Normale Supérieure de Lyon 46 Allée d’Italie, 69364 Lyon Cedex 07, France Téléphone : +33(0)4.72.72.80.37 Télécopieur : +33(0)4.72.72.80.80 Adresse électronique : [email protected] Abstract geometrical computation: Turing-computing ability and unpredictable accumulations (extended abstract)geometrical computation: Turing-computing ability and unpredictable accumulations (extended abstract)
منابع مشابه
Abstract Geometrical Computation: Turing-Computing Ability and Undecidability
Geometrical Computation: Turing-Computing Ability and Undecidability
متن کاملReversible conservative rational abstract geometrical computation is Turing - universal ( extended abstract ) Jérôme Durand - Lose
In Abstract geometrical computation for black hole computation (MCU ’04, LNCS 3354), the author provides a setting based on rational numbers, abstract geometrical computation, with super-Turing capability. In the present paper, we prove the Turing computing capability of reversible conservative abstract geometrical computation. Reversibility allows backtracking as well as saving energy; it corr...
متن کاملForecasting Black Holes in Abstract Geometrical Computation is Highly Unpredictable
In Abstract geometrical computation for black hole computation (MCU ’04, LNCS 3354), the author provides a setting based on rational numbers, abstract geometrical computation, with super-Turing capability: any recursively enumerable set can be decided in finite time. To achieve this, a Zeno-like construction is used to provide an accumulation similar in effect to the black holes of the black ho...
متن کاملGeometrical Computation and Computable Analysis
Geometrical Computation and Computable Analysis Abstract Geometrical Computation and Computable Analysis Jérôme Durand-LoseGeometrical Computation and Computable Analysis Jérôme Durand-Lose Laboratoire d’Informatique Fondamentale d’Orléans, Université d’Orléans, Orléans, FRANCE Unconventional Computation ’09 Sep. 9th, 2009 — Ponta Delgada, Azores, Portugal Abstract Geometrical Computation and C...
متن کامل